## Found 747 Documents (Results 1–100)

100
MathJax

Full Text:

### Condensable models of set theory. (English)Zbl 07541614

MSC:  03C62 03E30
Full Text:

Full Text:

### The modal logic of set-theoretic potentialism and the potentialist maximality principles. (English)Zbl 07493106

MSC:  03Exx 03C62 03B45
Full Text:

### Topological models of arithmetic. (English)Zbl 07472625

MSC:  03C62 03C66
Full Text:

Full Text:

Full Text:

### The Barwise-Schlipf theorem. (English)Zbl 1459.03049

MSC:  03C62 03C50 03H15
Full Text:

Full Text:

### Local reflection, definable elements and 1-provability. (English)Zbl 1485.03238

MSC:  03F30 03C62
Full Text:

Full Text:

### End extensions of models of fragments of $$\mathrm{PA}$$. (English)Zbl 1459.03048

MSC:  03C62 03F30 03H15
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### VC-dimensions of short Presburger formulas. (English)Zbl 1449.03013

MSC:  03C45 03C62 03F30
Full Text:

Full Text:

### A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski. (English)Zbl 1471.03001

Trends in Logic – Studia Logica Library 51. Cham: Springer (ISBN 978-3-030-28920-1/hbk; 978-3-030-28921-8/ebook). xiv, 109 p. (2019).
Full Text:

Full Text:

Full Text:

Full Text:

### A modal logic of a truth definition for finite models. (English)Zbl 1435.03042

MSC:  03B45 03C62 03C13
Full Text:

### On Wilkie and Paris’s notion of fullness. (English)Zbl 1443.03021

MSC:  03C62 03H15
Full Text:

Full Text:

### First-order logic and numeration systems. (English)Zbl 07006267

Berthé, Valérie (ed.) et al., Sequences, groups, and number theory. Cham: Birkhäuser. Trends Math., 89-141 (2018).
MSC:  03C07 03C62 03D05
Full Text:

Full Text:

### More automorphism groups of countable, arithmetically saturated models of Peano arithmetic. (English)Zbl 1455.03047

MSC:  03C62 03H15
Full Text:

### The atomic theory of division and intersection of semiring ideals. (English. Russian original)Zbl 1398.16042

J. Math. Sci., New York 233, No. 5, 724-731 (2018); translation from Fundam. Prikl. Mat. 21, No. 1, 181-191 (2016).
MSC:  16Y60 16D25 03C62
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### ZFC proves that the class of ordinals is not weakly compact for definable classes. (English)Zbl 1447.03016

MSC:  03E55 03E35 03C62
Full Text:

Full Text:

### Largest initial segments pointwise fixed by automorphisms of models of set theory. (English)Zbl 1477.03152

MSC:  03C62 03E70
Full Text:

Full Text:

Full Text:

### Incomparable $$\omega_1$$-like models of set theory. (English)Zbl 1469.03107

MSC:  03C62 03E35
Full Text:

### Proof theory of constructive systems: inductive types and univalence. (English)Zbl 1429.03213

Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 385-419 (2017).
Full Text:

### Categoricity results for second-order ZF in dependent type theory. (English)Zbl 1468.03012

Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 304-318 (2017).
Full Text:

### Some observations on the logical foundations of inductive theorem proving. (English)Zbl 1460.03005

MSC:  03B35 03C62 03F05
Full Text:

Full Text:

Full Text:

Full Text:

### Minimal elementary end extensions. (English)Zbl 1417.03238

MSC:  03C62 03H15
Full Text:

### Models of weak theories of truth. (English)Zbl 1417.03237

MSC:  03C62 03H15
Full Text:

### Open determinacy for class games. (English)Zbl 1423.03200

Caicedo, Andrés Eduardo (ed.) et al., Foundations of mathematics. Logic at Harvard. Essays in honor of W. Hugh Woodin’s 60th birthday. Proceedings of the Logic at Harvard conference, Harvard University, Cambridge, MA, USA, March 27–29, 2015. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 690, 121-143 (2017).
MSC:  03E60 03E30 03C62
Full Text:

Full Text:

Full Text:

Full Text:

### Universal Rosser predicates. (English)Zbl 1419.03034

MSC:  03C62 03F40 03H15
Full Text:

Full Text:

### Completeness of Hoare logic relative to the standard model. (English)Zbl 1444.03122

Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 119-131 (2017).
MSC:  03B70 03C62 03F30
Full Text:

Full Text:

### Notes on various versions of Friedman’s self-embedding theorem. (English)Zbl 1429.03146

Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 231-241 (2016).
MSC:  03C62 03F30 03H15

### Submodel lattices of existentially closed models of arithmetic. (English)Zbl 1429.03145

Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 153-170 (2016).
MSC:  03C62 03F30 03C45

### Near-linearity and open induction. (English)Zbl 1429.03144

Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 131-151 (2016).
MSC:  03C62 03F30 11U10

### $$\Delta_0$$-definability of Dedekind sums. (English)Zbl 1429.03152

Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 47-56 (2016).

### Flexibility in fragments of Peano arithmetic. (English)Zbl 1429.03207

Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 1-20 (2016).

### Variations on a Visserian theme. (English)Zbl 1418.03147

van Eijck, Jan (ed.) et al., Liber amicorum Alberti. A tribute to Albert Visser. London: College Publications. Tributes 30, 99-110 (2016).
MSC:  03C62 03F30 03E30
Full Text:

Full Text:

### Illusory models of Peano arithmetic. (English)Zbl 1388.03070

MSC:  03H15 03C62 03F30
Full Text:

### Truth in the limit. (English)Zbl 1392.03045

MSC:  03C13 03C62 03D15
Full Text:

### Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. (English)Zbl 1375.03005

CSLI Lecture Notes 217. Stanford, CA: CSLI Publications (ISBN 978-1-57586-953-7/pbk). x, 241 p. (2016).

### Elementary epimorphisms between models of set theory. (English)Zbl 1432.03098

MSC:  03E40 03C62 03E45
Full Text:

Full Text:

### Existentially closed models in the framework of arithmetic. (English)Zbl 1345.03071

MSC:  03C62 03F30 03H15
Full Text:

### Restrictiveness relative to notions of interpretation. (English)Zbl 1381.03009

MSC:  03A05 03E99 03C62
Full Text:

Full Text:

### Interpreting weak König’s lemma using the arithmetized completeness theorem. (English)Zbl 06596162

MSC:  03C62 03F25 03H15
Full Text:

### End extensions of models of weak arithmetic theories. (English)Zbl 1436.03302

MSC:  03F30 03C62 03H15
Full Text:

Full Text:

Full Text:

### Closed normal subgroups of the automorphism group of a saturated model of Peano arithmetic. (English)Zbl 1354.03049

MSC:  03C62 03C50 03H15
Full Text:

### Theories of real numbers and interpretability. (Theorien der reellen Zahlen und Interpretierbarkeit.) (German)Zbl 1425.03002

Logos 25. Berlin: De Gruyter (ISBN 978-3-11-045856-5/hbk; 978-3-11-045919-7/ebook). viii, 266 p. (2016).
Full Text:

### On the distinction between sets and classes: a categorical perspective. (English)Zbl 1429.03220

Lolli, Gabriele (ed.) et al., From logic to practice. Italian studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 308, 185-199 (2015).
Full Text:

### The model theory of generic cuts. (English)Zbl 1429.03143

Hirvonen, Åsa (ed.) et al., Logic without borders. Essays on set theory, model theory, philosophical logic and philosophy of mathematics. Ontos Mathematical Logic 5. Berlin: De Gruyter. 281-295 (2015).
MSC:  03C62 03H15 03C10
Full Text:

### On strong fragments of Peano arithmetic. (English)Zbl 1379.03019

Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 281-291 (2015).
MSC:  03F30 03C62

### On the structure of classical realizability models of ZF. (English)Zbl 1434.03054

Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 39, 146-161 (2015).
Full Text:

Full Text:

### Models of PA: when two elements are necessarily order automorphic. (English)Zbl 1367.03072

MSC:  03C62 03C64 03H15
Full Text:

### Kripke models built from models of arithmetic. (English)Zbl 1326.03073

Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 157-174 (2015).
MSC:  03F45 03B45 03C62
Full Text:

### Constant regions in models of arithmetic. (English)Zbl 1372.03085

MSC:  03C62 03H15
Full Text:

Full Text:

Full Text:

### Internal categoricity in arithmetic and set theory. (English)Zbl 1372.03088

MSC:  03C85 03C62 03C35 03B30 03B15
Full Text:

### Novel design for reversible arithmetic logic unit. (English)Zbl 1312.81049

MSC:  81P68 03C62
Full Text:

Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3