Equiconsistencies at subcompact cardinals (English)

In: ARCHIVE FOR MATHEMATICAL LOGIC   ;  55 ,  1-2  ;  207-238  ;  2016
  • ISSN:
  • Article (Journal)  /  Print

How to get this document?

Table of contents – Volume 55, Issue 1-2

Show all volumes and issues

The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.

1
Dedicated to Richard Laver
| 2015
1
Proof nets of PN as graphs
Duquesne, Eric / Wiele, Jacques | 1995
1
A denotational semantics ofLC2
Quatrini, Myriam | 1996
1
An ordinal analysis of stability
Rathjen, Michael | 2004
1
Reverse mathematics of separably closed sets
Hirst, Jeffry L. | 2005
1
The Wholeness Axioms and V=HOD
Hamkins, Joel David | 2001
1
On two problems concerning end extensions
Cornaros, Ch. / Dimitracopoulos, C. | 2007
1
Polynomial clone reducibility
Culver, Quinn | 2013
1
The ∀∃-theory of the effectively closed Medvedev degrees is decidable
Cole, Joshua A. / Kihara, Takayuki | 2009
1
Diagonal reflections on squares
Fuchs, Gunter | 2018
1
ADR implies that all sets of reals are Θ universally Baire
Sargsyan, Grigor | 2020
1
Partially definable forcing and bounded arithmetic
Atserias, Albert / Müller, Moritz | 2014
1
Isolated d.r.e. degress are dense in r.e. degree structure
Ding, D. / Qian, L. | 1996
1
Generic Vopěnka’s Principle, remarkable cardinals, and the weak Proper Forcing Axiom
Bagaria, Joan / Gitman, Victoria / Schindler, Ralf | 2016
1
Isolated d.r.e. degrees are dense in r.e. degree structure
Ding, Decheng / Qian, Lei | 1996
1
Arithmetic analogues of McAloon's unique Rosser sentences
Smoryński, C. | 1989
1
The rhombus classes of degrees of unsolvability (I), The jump properties
Zheng, Xizhong | 1994
1
Construction of universal modal worlds based on hyperset theory
Tsujishita, Toru | 1999
1
More Jonsson Algebras
Shelah, Saharon | 2003
1
Construction of universal model worlds based on hyperset theory
Tsujishita, T. | 1999
1
Fuzzy logic and fuzzy set theory
Takeuti, Gaisi / Titani, Satoko | 1992
1
A dedekind finite borel set
Miller, Arnold W. | 2010
1
A note on admissible rules and the disjunction property in intermediate logics
Citkin, Alexander | 2011
1
On elementary equivalence in fuzzy predicate logics
Dellunde, Pilar / Esteva, Francesc | 2012
1
Shelah's stability spectrum and homogeneity spectrum in finite diagrams
Grossberg, Rami / Lessmann, Olivier | 2002
1
Groupwise density and related cardinals
Blass, Andreas | 1990
1
Completeness theorem for topological class models
Djordjevic, Radosav / Ikodinović, Nebojša / Mijajlović, Žarko | 2006
1
Preface
Cenzer, Douglas / Harizanov, Valentina / Marker, David / Wood, Carol | 2008
1
Simply terminating rewrite systems with long derivations
Lepper, Ingo | 2003
1
The strength of Martin-Löf type theory with a superuniverse. Part I
Rathjen, Michael | 2000
1
Quantifier elimination for infinite terms
Marongiu, G. / Tulipani, S. | 1991
1
On fields definable inQ p
Pillay, Anand | 1989
1
Non-definability of the Ackermann function with type 1 partial primitive recursion
Niggl, Karl-Heinz | 1997
1
Categoricity and generalized model completeness
Ahlbrandt, G. / Baldwin, John T. | 1988
1
The strength of Martin-Lof type theory with a superuniverse. Part I
Rathjen, M. | 2000
3
Fuzzy Horn logic I
Bělohlávek, Radim / Vychodil, Vilém | 2005
3
Indestructibility and destructible measurable cardinals
Apter, Arthur W. | 2015
3
The tree property at the successor of a singular limit of measurable cardinals
Golshani, Mohammad | 2017
5
Ein Wohlordnungsbeweis für das OrdinalzahlensystemT(J)
Schütte, K. | 1988
7
Degree spectra of the successor relation of computable linear orderings
Chubb, Jennifer / Frolov, Andrey / Harizanov, Valentina | 2008
9
Preservation theorems for bounded formulas
Moniri, Morteza | 2006
9
A proof of Gentzen's Hauptsatz without multicut
von Plato, Jan | 2001
9
The metamathematics of scattered linear orderings
Clote, P. | 1989
11
A term rewriting characterization of the polytime functions and related complexity classes
Beckmann, Arnold / Weiermann, Andreas | 1996
11
Successive cardinals with no partial square
Krueger, John | 2013
13
Results on the Generic Kurepa Hypothesis
Jensen, R. B. / Schlechta, K. | 1990
13
Kelley-Morse+Types of well order is not a conservative extension of Kelley Morse
Judah, Haim / Marshall, M. Victoria | 1994
15
The elementary diagram of a trivial, weakly minimal structure is near model complete
Laskowski, Michael C. | 2008
15
Pavelka-style completeness in expansions of Łukasiewicz logic
Freytes, Hector | 2008
15
Complex analysis in subsystems of second order arithmetic
Yokoyama, Keita | 2006
15
Amalgamation through quantifier elimination for varieties of commutative residuated lattices
Marchioni, Enrico | 2011
15
The number of lines in Frege proofs with substitution
Urquhart, Alasdair | 1997
17
Strict $${\Pi^1_1}$$ -reflection in bounded arithmetic
Fernandes, António M. | 2009
17
Strong downward Löwenheim–Skolem theorems for stationary logics, I
Fuchino, Sakaé / Rodrigues, André Ottenbreit Maschio / Sakai, Hiroshi | 2020
17
Strict Formula Not Shown -reflection in bounded arithmetic
Fernandes, A. n. | 2010
17
Strict -reflection in bounded arithmetic
Liu, Jiang / Wang, Shenling / Wu, Guohua | 2009
19
Superstrong and other large cardinals are never Laver indestructible
Bagaria, Joan / Hamkins, Joel David / Tsaprounis, Konstantinos / Usuba, Toshimichi | 2015
19
Invariance results for definable extensions of groups
Edmundo, Mário J. / Jones, Gareth O. / Peatfield, Nicholas J. | 2010
19
On ordering and multiplication of natural numbers
Bendová, Kamila | 2001
19
Games played on partial isomorphisms
Väänänen, Jouko / Veličković, Boban | 2003
19
A saturation property of structures obtained by forcing with a compact family of random variables
Krajíček, Jan | 2012
19
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality
Waagbø, Geir | 1999
19
The density of the low2 n-r.e. degrees
Cooper, S. Barry | 1991
21
A note on trivial nonmultidimensional superstable theories
Chowdhury, Ambar | 1995
21
MV-algebras, infinite dimensional polyhedra, and natural dualities
Cabrer, Leonardo M. / Spada, Luca | 2016
21
Iterations of Boolean algebras with measure
Kamburelis, Anastasis | 1989
21
Definable sets and expansions of models of Peano arithmetic
Murawski, Roman | 1988
21
An intuitionistic fixed point theory
Buchholz, Wilfried | 1997
23
Interpretability degrees of finitely axiomatized sequential theories
Visser, Albert | 2013
23
Two classes of intermediate propositional logics without disjunction property
Bellissima, Fabio | 1989
23
Nilpotent complements and Carter subgroups in stable ℜ-groups
Wagner, Frank O. | 1994
23
Nilpotent complements and Carter subgroups in stable R-groups
Wagner, F.O. | 1994
25
Free Łukasiewicz implication algebras
Díaz Varela, José Patricio | 2008
25
Identity crises and strong compactness
Apter, Arthur W. / Cummings, James | 2001
25
Categoricity of computable infinitary theories
Calvert, W. / Goncharov, S. S. / Knight, J. F. / Millar, Jessica | 2008
25
Reflecting stationary sets and successors of singular cardinals
Shelah, Saharon | 1991
25
Identity crises and strong compactness. II. Strong cardinals
Apter, A. W. / Cummings, J. | 2001
27
On a question of Silver about gap-two cardinal transfer principles
Golshani, Mohammad / Mohsenipour, Shahram | 2017
27
Convexity and unique minimum points
Berger, Josef / Svindland, Gregor | 2018
29
Chang’s Conjecture and weak square
Sakai, Hiroshi | 2012
29
Sierpinski-Zygmund functions that are Darboux, almost continuous, or have a perfect road
Balcerzak, M. / Ciesielski, K. / Natkaniec, T. | 1998
29
On some filters and ideals of the Medvedev lattice
Sorbi, Andrea | 1990
29
Sierpiński-Zygmund functions that are Darboux, almost continuous, or have a perfect road
Balcerzak, Marek / Ciesielski, Krzysztof / Natkaniec, Tomasz | 1997
29
Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees
Gordeev, L. | 1989
31
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
Kohlenbach, Ulrich | 1996
31
On nice equivalence relations on ^L^a^m^b^d^a2
Shelah, S. | 2004
31
On nice equivalence relations on λ2
Shelah, Saharon | 2003
33
Countable Fréchet a1- spaces may be first countable
Dow, A. / Stepräns, J. | 1993
33
Cutting planes, connectivity, and threshold logic
Buss, Samuel R. / Clote, Peter | 1996
33
Unbounded families and the cofinality of the infinite symmetric group
Sharp, James D. / Thomas, Simon | 1995
33
Countable Fréchetα 1-spaces may be first countable
Dow, Alan / Stepräns, Juris | 1992
33
A superhigh diamond in the c.e. tt-degrees
Cenzer, Douglas / Franklin, Johanna N. Y. / Liu, Jiang / Wu, Guohua | 2010
33
A note on the Σ1 spectrum of a theory
Möllerfeld, Michael / Rathjen, Michael | 2002
33
A note on the S1 spectrum of a theory
Möllerfeld, Michael / Rathjen, Michael | 2002
33
A note on the Sigma~1 spectrum of a theory
Mollerfeld, M. / Rathjen, M. | 2002
35
Infima of d.r.e. degrees
Liu, Jiang / Wang, Shenling / Wu, Guohua | 2009
35
On meta complexity of propositional formulas and propositional proofs
Naumov, Pavel | 2008
35
Proof-relevance of families of setoids and identity in type theory
Palmgren, Erik | 2011
35
Isomorphic and strongly connected components
Kurilić, Miloš S. | 2014
35
On certain indestructibility of strong cardinals and a question of Hajnal
Gitik, Moti / Shelah, Saharon | 1989
35
Strange ultrafilters
Gitik, Moti | 2018
35
Castor quadruplorum
Oberschelp, Arnold / Schmidt-Göttsch, Karsten / Todt, Günter | 1988
35
A term rewriting characterization of the functions computable in polynomial space
Oitavem, Isabel | 2002
35
Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
Rathjen, Michael | 1994
37
Fragments of $HA$ based on $\Sigma_1$ -induction
Wehmeier, Kai F. | 1997
37
On some dynamical aspects of NIP theories
Mofidi, Alireza | 2017
37
Fragments of HA based on �~1-induction
Wehmeier, K. F. | 1997
37
Generalizing Kruskal’s theorem to pairs of cohabitating trees
Carlson, Timothy | 2015
37
Ramsey’s theorem and König’s Lemma
Forster, T. E. / Truss, J. K. | 2006
37
Fragments of HA based on b-induction
Wehmeier, K.F. | 1998
39
Chains and antichains in partial orderings
Harizanov, Valentina S. / Jockusch, Carl G. Jr. / Knight, Julia F. | 2009
39
The $L\Pi$ and $L\Pi\frac{1}{2}$ logics: two complete fuzzy systems joining Łukasiewicz and Product Logics
Esteva, Francesc / Godo, Lluís / Montagna, Franco | 2001
39
The LII and LII 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics
Esteva, F. / Godo, L. / Montagna, F. | 2001
39
The L\Pi and L\Pi\frac{1}{2} logics: two complete fuzzy systems joining Lukasiewicz and Product Logics
Esteva, Francesc / Godo, Lluis / Montagna, Franco | 2001
41
Maximal cofinitary groups
Zhang, Yi | 2000
43
A note on the schemes of replacement and collection
Mathias, A. R. D. | 2006
43
An induction principle over real numbers
Mahboubi, Assia | 2016
43
Many different covering numbers of Yorioka’s ideals
Osuga, Noboru / Kamo, Shizuo | 2013
43
On the free subset property at singular cardinals
Koepke, Peter | 1989
45
On complexity reduction of Sigma~1 formulas
Adamowicz, Z. / Zbierski, P. | 2003
45
On complexity reduction of Σ1 formulas
Adamowicz, Zofia / Zbierski, Pawe | 2003
45
Some local properties of ω-stable groups
Tanaka, Katsumi | 1988
45
On complexity reduction of S1 formulas
Adamowicz, Zofia / Zbierski, Pawe | 2003
45
Representations of structural closure operators
Gil-Férez, José | 2010
47
Club degrees of rigidity and almost Kurepa trees
Fuchs, Gunter | 2012
47
A theory of rules for enumerated classes of functions
Schlüter, Andreas | 1995
47
Algebraic disguises ofΣ 1 0 induction
Hatzikiriakou, Kostas | 1989
49
A covering lemma for L(ℝ)
Cunningham, Daniel W. | 2002
49
Logics of left variable inclusion and Płonka sums of matrices
Bonzio, S. / Moraschini, T. / Pra Baldi, M. | 2020
49
Creature forcing and large continuum: the joy of halving
Kellner, Jakob / Shelah, Saharon | 2011
49
Laver’s results and low-dimensional topology
Dehornoy, Patrick | 2015
49
Reverse mathematics and marriage problems with unique solutions
Hirst, Jeffry L. / Hughes, Noah A. | 2014
49
Productive sets and constructively nonpartial-recursive functions
Kanda, Akira | 1988
49
A covering lemma for L(R)
Cunningham, Daniel W. | 2002
49
Elementary embeddings and games in adapted probability logic
Fajardo, Sergio | 1990
51
Degrees of categoricity of computable structures
Fokina, Ekaterina B. / Kalimullin, Iskander / Miller, Russell | 2009
51
Constructions of categories of setoids from proof-irrelevant families
Palmgren, Erik | 2016
51
The function (a-m) in sharply bounded arithmetic
Tada, M. / Tatsuta, M. | 1998
51
Cappable recursively enumerable degrees and Post's program
Ambos-Spies, Klaus / Nies, André | 1992
51
Induktive Definitionen und Dilatoren
Buchholz, Wilfried | 1988
51
A note on weak dividing
Kim, Byunghan / Shi, Niandong | 2007
51
The function $\lfloor a/m\rfloor$ in sharply bounded arithmetic
Tada, Mitsuru / Tatsuta, Makoto | 1997
53
Homogeneously Souslin sets in small inner models
Koepke, Peter / Schindler, Ralf | 2005
53
On a question of Pereira
Gitik, Moti | 2008
53
Families of sets related to Rosenthal’s lemma
Sobota, Damian | 2018
53
Intuitionistic choice and classical logic
Coquand, Thierry / Palmgren, Erik | 2000
53
Directed frames
Corsi, Giovanna / Ghilardi, Silvio | 1989
55
A new conservation result of WKL0 over RCA0
Fernandes, António Marques | 2002
55
Supersimplicity and quadratic extensions
Martin-Pizarro, A. / Wagner, F. O. | 2008
55
Les beaux automorphismes
Lascar, Daniel | 1991
57
Rekursion über Dilatoren und die Bachmann-Hierarchie
Päppinghaus, Peter | 1989
57
The logic ofII 1-conservativity continued
Hájek, Petr / Montagna, Franco | 1992
57
Projective Hausdorff gaps
Khomskii, Yurii | 2013
57
A proof-theoretical analysis of ptykes
Catlow, J. R. G. | 1994
59
On the Jordan-Hoelder decomposition of proof nets
Puite, O. / Schellinx, H. | 1997
59
On the Jordan-Hölder decomposition of proof nets
Puite, Quintijn / Schellinx, Harold | 1997
59
Friedberg numberings in the Ershov hierarchy
Badaev, Serikzhan A. / Manat, Mustafa / Sorbi, Andrea | 2014
59
Short proofs of normalization for the simply- typed l-calculus, permutative conversions and Gödel's T
Joachimski, Felix / Matthes, Ralph | 2003
59
Short proofs of normalization for the simply-typed Lambda-calculus, permutative conversions and Godel's T
Joachimski, F. / Matthes, R. | 2003
59
On the existence of strongly normal ideals overP κ λ
Carr, Donna M. / Levinski, Jean -Pierre / Pelletier, Donald H. | 1990
59
Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T
Joachimski, Felix / Matthes, Ralph | 2003
59
On the Jordan-Holder decomposition of proof nets
Puite, Q. / Schellinx, H. | 1998
61
Lifting elementary embeddings j: V λ → V λ
Corazza, Paul | 2007
61
Possible size of an ultrapower of $\omega$
Jin, Renling / Shelah, Saharon | 1999
61
Operating on the universe
Garcia, Narciso | 1988
63
Linear orders with distinguished function symbol
Cenzer, Douglas / Csima, Barbara F. / Khoussainov, Bakhadyr | 2008
63
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation
Hyttinen, Tapani | 2005
63
A note on extensions of infinitary logic
Shelah, Saharon / Väänänen, Jouko | 2004
63
Ultrafilter translations. I. (lambda, lambda)-compactness of logics with a cardinality quantifier
Lipparini, P. | 1996
63
Ultrafilter translations
Lipparini, Paolo | 1996
65
A comparison of two systems of ordinal notations
Simmons, Harold | 2003
65
Strong storage operators and data types
Nour, Karim | 1995
65
Transseries and Todorov–Vernaeve’s asymptotic fields
Aschenbrenner, Matthias / Goldbring, Isaac | 2013
65
Towards Martins minimum
Bartoszynski, Tomek / Rosłlanowski, Andrzej | 2002
65
An L-like model containing very large cardinals
Apter, Arthur W. / Cummings, James | 2008
65
Subsets of models of arithmetic
Kossak, Roman / Paris, Jeffrey B. | 1992
67
Locally compact groups which are separably categorical structures
Ivanov, Aleksander | 2016
67
A direct independence proof of Buchholz's Hydra Game on finite labeled trees
Hamano, Masahiro / Okada, Mitsuhiro | 1998
67
A characterization of $${\square(\kappa^{+})}$$ in extender models
Kypriotakis, Kyriakos / Zeman, Martin | 2012
67
A characterization of Formula Not Shown in extender models
Kypriotakis, K. / Zeman, M. | 2013
69
The Karp complexity of unstable classes
Laskowski, M.C. / Shelah, S. | 2001
69
The number of proof lines and the size of proofs in first order logic
Krajíček, Jan / Pudlák, Pavel | 1988
69
Bounded query classes and the difference hierarchy
Beigel, Richard / Gasarch, William I. / Hay, Louise | 1989
69
Effectively inseparable Boolean algebras in lattices of sentences
Shavrukov, V. Yu. | 2009
69
A logic of abstraction related to finite constructive number classes
Cantini, Andrea | 1991
71
Diamond and antichains
Cummings, James / Schimmerling, Ernest | 2004
71
Extendible cardinals and the mantle
Usuba, Toshimichi | 2018
71
Proof analysis in intermediate logics
Dyckhoff, Roy / Negri, Sara | 2011
73
Complexity of admissible rules
Jeřábek, Emil | 2007
73
On two questions concerning the automorphism groups of countable recursively saturated models of PA
Kossak, Roman / Bamber, Nicholas | 1996
73
Bounds on Scott rank for various nonelementary classes
Marker, David | 1990
73
The long extender algebra
Schindler, Ralf | 2017
75
Type-theoretic interpretation of iterated, strictly positive inductive definitions
Palmgren, Erik | 1992
75
On completeness of the quotient algebras P(kappa)/I
Kanai, Y. | 2000
75
Full and hat inductive definitions are equivalent in NBG
Sato, Kentaro | 2014
75
On pairs of free modules over a Dedekind domain
Cittadini, Saverio / Toffalori, Carlo | 2005
75
On completeness of the quotient algebras ${\cal P}(\kappa)/I$
Kanai, Yasuo | 2000
75
Quantifier elimination for Stone algebras
Feuerstein, Switgard | 1989
75
Souslin algebra embeddings
Scharfenberger-Fabian, Gido | 2010
77
Axiomatization of local-global principles for pp-formulas in spaces of orderings
Astier, V. / Tressl, M. | 2004
77
Rings of algebraic numbers in infinite extensions of $${\mathbb {Q}}$$ and elliptic curves retaining their rank
Shlapentokh, Alexandra | 2009
77
First-order concatenation theory with bounded quantifiers
Kristiansen, Lars / Murwanashyaka, Juvenal | 2020
77
Rings of algebraic numbers in infinite extensions of Formula Not Shown and elliptic curves retaining their rank
Shlapentokh, A. | 2009
77
The iterability hierarchy above $${{\mathrm{\mathsf {I3}}}}$$ I 3
Andretta, Alessandro / Dimonte, Vincenzo | 2018
77
Rings of algebraic numbers in infinite extensions of InlineEquation ID="IEq8"> ImageObject FileRef="1532008118ArticleIEq8.gif" Format="GIF"Color="BlackWhite"Type="Linedraw"Rendition="HTML"-> EquationSource Format="TEX">!(CDATA({\mathbb {Q}}))> and elliptic curves retaining their rank
Shlapentokh, Alexandra | 2009
79
Consistency of a λ-theory withn-tuples and easy term
Jiang, Ying | 1995
79
Some weak fragments of Martin’s axiom related to the rectangle refining property
Yorioka, Teruyuki | 2008
79
An order-theoretic characterization of the Howard–Bachmann-hierarchy
Van der Meeren, Jeroen / Rathjen, Michael / Weiermann, Andreas | 2016
79
A topological completeness theorem
Butz, Carsten | 1999
79
Consistency of a l-theory with n-tuples and easy term
Jiang, Y. | 1995
81
Infinitary Jonsson functions and elementary embeddings
Shioya, M. | 1994
81
Set theory without choice: not everything on cofinality is possible
Shelah, Saharon | 1997
81
Infinitary Jónsson functions and elementary embeddings
Shioya, Masahiro | 1994
83
Fuzzy equational logic
Bělohlávek, Radim | 2002
83
A note on the variety of satisfaction classes
Murawski, Roman | 1990
83
Aronszajn and Kurepa trees
Cummings, James | 2017
85
On potential isomorphism and non-structure
Huuskonen, Taneli / Hyttinen, Tapani / Rautila, Mika | 2003
85
Baire spaces and infinite games
Galvin, Fred / Scheepers, Marion | 2015
85
Some uses of dilators in combinatorial problems
Abrusci, V. Michele | 1989
85
Vereinfachte Kollabierungsfunktionen und ihre Anwendungen
Weiermann, Andreas | 1991
85
Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger
Schütte, Kurt | 1988
87
The translation theorem
Cholak, Peter | 1994
89
On stability in finite models
Hyttinen, Tapani | 2000
89
A note on Spector's quantifier-free rule of extensionality
Kohlenbach, Ulrich | 2001
89
Elementary chains and C (n)-cardinals
Tsaprounis, Konstantinos | 2013
89
Realizing Mahlo set theory in type theory
Rathjen, Michael | 2003
89
Creative subject, Beth models and neighbourhood functions
Krivtsov, Victor N. | 1996
91
Strong normalization of a symmetric lambda calculus for second-order classical logic
Yamagata, Yoriyuki | 2002
91
Finding generic filters by playing games
Mildenberger, Heike | 2009
91
Effective algebraicity
Steiner, Rebecca M. | 2012
91
Harrington’s conservation theorem redone
Ferreira, Fernando / Ferreira, Gilda | 2008
91
The theory of ${\vec Z}C(2)^2$ -lattices is decidable
Baratella, Stefano / Toffalori, Carlo | 1998
91
The theory of ZC (2)^2-lattices is decidable
Baratella, S. / Toffalori, C. | 1998
91
On the structure of initial segments of models of arithmetic
Krajíček, Jan / Pudlák, Pavel | 1989
91
Appendix to the paper “Definable sets and expansions of models of Peano arithmetic”
Murawski, Roman | 1990
91
Largest initial segments pointwise fixed by automorphisms of models of set theory
Enayat, Ali / Kaufmann, Matt / McKenzie, Zachiri | 2017
93
Non-totally transcendental unidimensional theories
Pillay, Anand / Rothmaler, Philipp | 1990
93
Semifree actions of free groups
Hils, Martin | 2007
93
Degrees of isomorphism types and countably categorical groups
Ivanov, Aleksander | 2011
93
Groupwise dense families
Mildenberger, Heike | 2001
95
Classification theory for abelian groups with an endomorphism
Marcja, Annalisa / Prest, Mike / Toffalori, Carlo | 1991
97
Iterated trees and fragments of arithmetic
Yang, Yue | 1995
97
On the predicate logics of continuous t-norm BL-algebras
Montagna, Franco | 2004
97
The Chang-Łoś-Suszko theorem in a topological setting
Bankston, Paul | 2005
97
The Chang-#321o#347-Suszko theorem in a topological setting
Bankston, Paul | 2006
99
The Dirac delta function in two settings of Reverse Mathematics
Sanders, S. / Yokoyama, K. | 2012
Feedback